Incremental dynamic semantics for language-based programming environments
نویسندگان
چکیده
منابع مشابه
Dynamic Semantics for Language-Based Programming Environments Revisited
Montages are a semi-visual language specification formalism recently proposed by some of the authors. This framework has been successfully used to give complete executable specifications of languages like C and Java. This paper compares Montages with action equations, both being paradigms for incorporating a means for specifying dynamic semantics in an environment generator using an attribute g...
متن کاملDynamic Semantics of the Oberon Programming Language
In this paper we present an abstract mathematical model for the dynamic semantics of the Oberon programming language using the Evolving Algebras approach. Oberon is the object-oriented successor of Pascal and Modula2. The resulting formal speciication is complete, compact, and understandable with minimal training.
متن کاملDynamic Categorization of Semantics of Fashion Language: A Memetic Approach
Categories are not invariant. This paper attempts to explore the dynamic nature of semantic category, in particular, that of fashion language, based on the cognitive theory of Dawkins’ memetics, a new theory of cultural evolution. Semantic attributes of linguistic memes decrease or proliferate in replication and spreading, which involves a dynamic development of semantic category. More specific...
متن کاملIncremental interpretation and dynamic semantics
The goal of this paper is to motivate and define a strictly incremental semantics for dynamic predicate logic (Groenendijk and Stokhof 1991). In particular, we will extend the incremental semantics for dynamic propositional logic introduced in Vermeulen (1994) to first-order predicate logic (borrowing central notions from Visser 2002). We call the resulting logical system Incremental Dynamic Pr...
متن کاملSemantics for Dynamic Logic Programming: A Principle-Based Approach
Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 1989
ISSN: 0164-0925,1558-4593
DOI: 10.1145/63264.63400